HOL Light with OpenTheory Support