Return a more robust warning when we try to define a type with a