D.Trace: whitespace, alignment, etc.
D.Trace: tiny Haddock formatting fix
D.Core.Names: formatting cleanup, and improved module comment
D.Core: formatting
D.Core.Types: formatting
D.Core.Types: move 'named' and 'namePoint' to -lib
D.Core.Trace: Haddock updates
bump version to 0.7
update contributors [ci skip]
list 0.7 CHANGES [ci skip]
CHANGES formatting [ci skip]
bug fix: `Names` now have a derived action on `Deletable`

The blanket overlapping `instance Action Name a` caused problems when we
changed from `SubMap` to `Deletable SubMap` in @5257d213 , because
suddenly `Name`s had no action on submaps anymore. This means that
qualifying diagrams had no effect.

This commit adds an `Action Name` instance for `Deletable`, and also
does the right thing (what should have been done in the first place)
by removing the blanket overlapping instance and adding explicit
trivial instances for the other types used in `UpAnnots`.  This also
means we get to remove the `OverlappingInstances` pragma.
update tested-with field: dropping support for 7.0 and 7.2 [ci skip]
add release date [ci skip]