Remove _TY_DEF theorems from most OpenTheory packages in src

These theorems are never used, and usually have ugly large terms, so it
seems better to strip them out of packages.

Add hol-words: OpenTheory package of src/n-bit