Completed AST-nodes according to abstract algebra

Enforced inheritance, added fields, etc.