concrete syntax: new types.
 - add back HS types.
 - refactor types to allow aliases at all levels.
 - Allow mem area type constructor for C types.