ignore emacs junk
fix type family Intersect
clean up