- Changed the way modified types are processed - Added immutable keyword - Added expression, statement and type normalization - Improved naming of synthetic functions