Member predicate TypeSetTerm::hasTilde

Holds if this term has a tilde in front of it.

A tilde is used to indicate that the term refers to all types with a given underlying type.