Awesome work! I still kind of wish that something RAII-like that is safe in the presence of exceptions and & types had made it in. But considering the immense

Awesome work! I still kind of wish that something RAII-like that is safe in the presence of exceptions and & types had made it in. But considering the immense amounts of work and effort that this has taken adding some more sweeping changes is somewhat of a pipedream. The current version definitely looks practically useful, though kinda awkward given the syntax and polymorphism restrictions.