Change set-pp-expr-type to set-pp-type
Expose letUnfloatLam
Fix unfold-app so it fails if there is nothing to do.
Add exprsEqual and equivalent
Add case-unfloat-args