Enforce unique scoping in Typing of Let Rec

[jaccokrijnen]

In a Let Rec, there should be no duplicate bindings. T_LetRec does not seem to enforce this.