This isn't true. >Sorts and function symbols are just symbols. Something is a sort if it is in the collection of sorts. Nothing else is required. If you gave

This isn't true. >Sorts and function symbols are just symbols. Something is a sort if it is in the collection of sorts. Nothing else is required. If you gave up before reading this, then you didn't even read the 4th paragraph.