- computation of least upper bounds
- identifiers are no longer just strings. now with unique ids
- variables are correctly identified with parameters.