Wall: remove unused `dropDiagrams`

remove extra imports, add type signatures
Allow diagrams-lib-1.2

other latest Diagrams packages
migrate from `vector-space` to `linear`

Note that `diagrams-pandoc` after this commit only builds against
Diagrams HEAD, not the Hackage version.