Branching in linearity checking

[danieljharvey]

Embarrassingly, we never checked whether the following was accepted by the linearity checker.

let tuple = (True,False,False);
case True {
  True => { tuple },
  False => { tuple }
}

Previously we'd complain about multiple uses of tuple, but that's silly, now we scope our uses when navigating if and case statements.