Some more stuff for `Cont`

Adds `xhoist` and `contracohoist`, as well as touching up the code's style a bit.