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.