Restore “let”.
Support variables in disjunctions!