SuperSelect's qual and supertype are types not terms