distinguish axioms and axiom schemas

[daviddoret]

see MGZ21, §2.4.1. current implementation of axioms in punctilious correspond to axiom schemas if they are only composed of variables. TODO:

• review litterature for definitions of axiom vs axiom schema
• map these in punctilious and give visibility through composition
• update documentation