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.

Bump some OpenTheory package version numbers

for change of author

Change author on OpenTheory packages

from HOL developers to HOL OpenTheory Packager

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