- new trait ir SpecialExpandable to mark non-final nodes
- one default prettyprinter for all expandable and special expandable nodes
- use Knowledge dimensions where applicable
- shorten some names (mostly omit 'Expression')