May have screwed up the type system or made it better