[Update Documentation]: use cont/cat as parameters instead of function names

[maude-v]

Explain which part of the documentation should be changed and how to checnge it

Rename all functions and add cont/cat as parameters to the functions. To be discussed.