Cleanup of type system.