Functor subexpression absorbing

Das ist noch ziemlich "Work in Progress", aber der aktuelle Status lässt sich schon testen:

ma refine --apply-ast-transforms FILE

sollte das richtige ausgeben und

ma graph --apply-ast-transforms FILE

zeigt gut, wie sich die Graphstruktur im Gegensatz zu ohne --apply-ast-transforms verändert.