provide the capability to forbid the inclusion of new inference-rules in a theory

[daviddoret]

in the logical calculi package, the authorized inference rules must be strictly limited (i.e. modus ponens, etc.).