Bugs fixed
Bugs fixed

1. lambda-intro on the fly restored
2. Enrico's code did not perform restriction correctly.
   The code now aborts if it needs to restrict
3. Bug fixed: the type of the meta was no longer unified with the
   type of the term in a correct way

LPCIC/elpi