in type inference, allow to parse rigid vars (?x, ?y, ..);
in HOterm, operations to rigidify/unrigidify terms