Infer Expr.Tuple
Add Inf.require
Infer Expr.Or
Add unit literal