- style change.
- efxmap`project/in-inversion
- efxmap`project/out-inversion
- efxmap`project-unique
- removed some whitespace.
- removed some unused inputs and proofs in reftyping-ok/before-read/unique/0t.