Working on the type system, still. This is crazy.