Release 0.5.0

This release introduces substantial custom type enhancements, including support for types with arbitrary custom validation logic. It also introduces an enhanced and flexible type definition format that makes it possible to derive new data-validating types from any combination of existing types, in a way that is completely compatible with all built-in types, instance types, and any previously defined custom types.