Use types.new_class for class creation.
Refactor comparisons.
Merge compiler.infix into the core.