remove OpenTheory mapping for bool$IN, since this is now in HOL