Moved definitions to defs.rkt.
Checkpoint on symbol refactor.
Factored out types.rkt and cleaned up code.