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`.
Should we call it something slightly different just to make it more obvious?