Sugar.Types: Lens rather than LensTH
Make Sugar.Definition* traversable on a parameterized sugared expr type
F7 removes types at Sugar level, before adding names