Restriction methods

see discussion.

• FIX - the restrictions of methods (previously done through simple string checks) were considered module/packages restrictions instead.

  New of spec: to forbid a method, it has to be prefixed with a dot to be passed to the IDE macros: IDE(..., SANS=".count").

• Change - the error message in terminals, for forbidden things, is only showing the exclusion part, not the stack trace.

• Also add the behavior on the terminals

---

Some functions exclusions cause troubles because they are used in pyodide when formatting errors or just running the code of the user. So, for now, those exclusions are deactivated (methods are still active, because relying on a simple string check).

Problematic functions are (so far):

• min
• max
• reversed