Defined types are now compatible if their definitions are equal.