continued the big refactoring:
- forgot some modules, now updated;
- meta-prover up-to-date (use HOTerms)
- tests and tools updated