Implement `allMethods` in Builtins and Invokables annotations

[andreaTP]

We need to exclude obvious things like equals, toString, etc. and define a clear semantics.

[andreaTP]

allMethods comes with tricky implications, this goes low priority for now.