This would actually be a very good introduction for a race of alien visitors who'd never heard of cakes, baking, or kitchens.
>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.