some renamings (T.is_ground, Unif.Fail...);
Skolem module to provide skolemization environment and functions;
more type-checking utils, with a more consistent signature