Add aliases to the documentation of functions/predicates

[Seddryck]

It should be possible to visualize the list of aliases into the documentation of the function and predicates