Implement `xhoist`

Also fix a few stylistic issues.
Add `contracohoist`

[none]
Merge pull request #374 from pthariensflame/topic/cont

Some more stuff for `Cont`