Describe all invariants

[nbirillo]

Describe all invariants in the documentation, e.g. what we consider as a subtype for the functions signatures, how we handle extension functions, what entities we are looking for (e.g. entities with the public modifier, top-level functions)