Native Classes

TODO: Document how to create an extensible type in Java.