Make beautify-archive usable on non-GNU systems.
Do not drop the locality qualifier (beautifier).
Avoid redundant spaces (beautifier).
Space after [identity] coercion keywords (beautifier).
Improve consistency of whitespace (beautifier).
Improve consistency of whitespace (beautifier).
Removing a use of tclSENSITIVE in Rewrite.
Removing a use of tclSENSITIVE in Rewrite.
Removing a use of tclSENSITIVE in Rewrite.
Removing a Goal.sensitive in Rewrite.
Removing unused parts of the Goal.sensitive monad.

Some legacy code remains to keep the newish refine tactic working, but
ultimately it should be removed. I did not manage to do it properly though,
i.e. without breaking the test-suite furthermore.