Various fixes with mutability
Cleaning up TCMonad
NOT TESTED - Liquid compiles