• 6.1 Data declarations
• 6.2 Constant declarations
• 6.3 adt declarations
• 6.4 Type declarations
• 6.5 Module declarations
• 6.6 Declarations with import
• 6.7 Declarations with include

Declarations take several forms:

declaration:
	identifier-list : type ;
	identifier-list : type = expression ;
	identifier-list : con expression ;
	identifier-list : import identifier ;
	identifier-list : type type ;
	include string-constant ;

identifier-list:
	identifier
	identifier-list , identifier

expression-list:
	expression
	expression-list , expression