Surely I've read it a few hundred times.
Have you thought of writing a book on Maple that concetrates on the type system? There is no such book at all on Maple. None of the books I have on Maple go into any depth on how to use these commands and I have many. It will be a best seller.
Examples showing when to use specfunc(f) vs. specfunc(type,f) vs. anyfunc(type*) vs. specop(operator) vs. specop(type,operator) vs. anyop(type*) vs. patlist[reverse](type,type*) and so on and on.
The current help page have no real examples, (the few at the end of the page are so trivial and do not touch 99% of what is on the page above). no explantion, nothing any where. The little bullet points below, are not helpful and hard to follow and so dense.
People learn by examples not by reading something that reads as this
Thus, type(f, typefunc(t, T)) is equivalent to the logical conjunction type(f, function) and type([op(0,f)], [T]) and type([op(f)], list(t)).
That page full of commands with nothing to help the user learn when and how to use these things. Compare the help pages to Mathematica, where each page it is full of examples after examples covering every possible option and sub option.
May be consider talking to Maplesoft about wriitng such a book? May be they could sponser this effort?
I bet there are only 5 people living who understand how to use these commands in Maple. I would be the first to buy this book.