Began work on type system.
Worked on type system; broke something weird.
Fixed problem with prompt.
Merged devel.