Docs for BuiltInType.
Docs for type classes.