build system: use oasis 0.4, changed definitions of some modules;
meta: added .mli files for most parts of the meta prover;
HOTerm printing of rigid vars now with ?x