also complain about a subsort definitions for an old sort