v8.4: Fixing bug #3169 and avoiding anomaly in bug #2885 (vm_compute not
supporting metas/evars). Fix of #3169 is by calling pretyping retyper
rather than the non-evar-aware kernel type-checker (since terms is
supposed to be already typable).

Support of metas/evars in vm is still to be done...