update let-aliasing w/ type judgments