Some work on Ix
Manifest projection
magic
Removing cong
Moving «_ and »_ to Misc
Minor
Minor
Refactoring Functor
Points