User-defined types

Coming soon... In the meantime, see the javadoc for UserType.