3.4 Special Types and Type Constructors

The syntax of types (excluding parameterization) is as follows:

type	::=	named_type
	|	closure_type
	|	lub_type
	|	glb_type
	|	"(" type ")"	just for grouping