expr.yz: Refactoring
Infer Expr.LetVal
Implement Inf.generalize