Assigning Type as Value in Gno should be prohibited

[omarsy]

Description

The following code snippet compiles and runs successfully in Gno, which is incorrect behavior:

package main

func main() {
	t := struct{}
}

Expected Behavior

This code should not compile because a type cannot be assigned as a value in Gno.