Removing old commented code
Fixed type var instantiation bug.

  - Some expression may be annotated with a TypInst but not actually need it for
    all uses. So do not fail if the number of TypInst does not match with the
    number of type variables that need to be instantiated. In particular if the
    later is zero, let it pass.