allow to generalize in TypeInference conversion functions;
should be used in MetaKB for instance