An even more massive refactoring of type system