remove bad hol_model_def, the one in reflectionTheory is better

not sure it's good enough, but it's better - allows the interpretation
of select and ind to be controlled.