Beginning work on the type system.