(unproven) unification for Lambda

- There are two variants.
  - ExprUnify is a direct port form Ext
  - ExprUnify_simul is based on simultaneously doing type checking
    and unification.