Returns true iff subType is a subtype of superType.
if either subType or superType is not in the schema