Turn on auto corelint for example tests, better progress output.
Fix pretty printer for GHC HEAD. TODO: make it pretty
Fix pretty printer to not use partition, which can reorder arguments.