rename OpenTheory name for bool$IN, to match current stdlib