make LogicIR.Expr more high level

Currently the mapping of forall(name, bound -> expr) is handled in the Java fold, but this should be handled by the backend.