Equivalent type schema

[johnhungerford]

If type A can be described adequately by the schema for type B, you should be able to use a schema type that maps A to B

It should be sufficient to provide:

• bimap: A => B, B => A
• generic name override
• generic description override
• generic validation override