Abstraction change, datatypes and ident are now types of expression, syntax checking is more safe now (based on feedback)