Began work on type system.