This could do with a better name. Is it the metaclass for all dynamic types? Or is it really just a registry for them? Either way ``dynamic_type`` is a bit vague.