add export to SOL

[fblanqui]

TODO:

• [X] add axioms for AC symbols
• [ ] update doc
• [ ] start function symbol names by a lowercase letter
• [ ] replace unicode characters or special characters by their code
• [ ] rename ids of the form x or M