Add Converter.identity.
Extract a converter package.
Add QualifiedType and some subtypes.
Improved logging.