Drastic automation for equal-by-logbitp.
This is an enhanced version of equal-by-logbitp-hint that also enables a bunch of case-splitting rules that allow logbitp to go through functions like ash, loghead, install-bit, etc.
