respond to PR feedback
- replace ListMap.transform with ∘ (a synonym for Functor.map)
- collapse the un-handled cases in ExprOp
- make (un)typers for min/max slightly less bogus
- a couple of other small typer fixes