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`.