Be comptible with the new eq combinators.
Bits for Blakers-Massey.
Make whisker-right and anti-whisker-right match.
Add move-inverse.
Whisker and anti-whisker.
Blakers-Massey.
Merge branch 'blakers-massey' into 1.0