Symbol undefined with repeated binding

[AshleyYakeley]

Simple case:

fn x => let x = x in x

Causes problems with records:

datatype R of
    MkR of
        u: Unit;
    end;
end;

f = fn MkR => let MkR = MkR in u;

[AshleyYakeley]

Fixed.