Types can now be created and instantiated. Subclassing works as well. Updated syntax. New lexical syntax for atoms using a '#' for quoting. Objects can be shown.