Converter SchemaGen

Still playing with schemagen for types that use converters. Converters
can now define the schema as they see fit, or decide to stay out of the
way and let the unconverted type convert itself.