type_check_tstp should work again (bugfix in Util_tptp);
in Untyped, enforce consistency of typing of variables at construction time