Auto-cleanup properties

This is a proposal for having properties doing some cleanup after a property execution. The implementation is not so pretty (`unsafePerformIO`) but this reduces the burden of having to bracket code with `Temporary.using`.
Minor stylistic thing, we are using TitleCase for type class instances pretty much everywhere at the moment.