recastR: now handles multi-step conversions
alignment
recastF now handles composite coercions
swap names of accumL/accumR, shiftL/shiftR, shiftLF/shiftRF (e.g., "from right" rather than "rightward")
drop muxB export
drop muxB export
use Prelude const
stop printing lambda and CCC terms