James C - prim types (probably correct)
James C - separated "raw" types and normal types
James C - chunks of the typechecker
James C - renaming types
James C - pulled out types to own file
James C - nuked "quotation", started improved typechecker