RML datatypes, types, tuples
	§ datatype declaration   datatype Exp = INT of int                 | NEG of Exp                 | ADD of Exp*Exp § type declaration (aliases)    type Constant = int    type Identifier = string § tuples declaration    type Point = int * int    type Bag = string * int * Exp
				8