Remove some needless liftIOs
Fix some comments and type synonyms