type-checking "completed" for arrays and records
Further type-checking.
Arrays now can only have 'Int' in the index or size.
Pretty printing for expressions