more compact pretty printed core
split inlining and specialisation steps
wobble cleanup
compile without warnings
new debugging level that only shows the names of applied transformations