WIP on cleaning up compilation; theoretically TLCompile.hs is done now