trivial theory change to speed up some deftypes
Merge pull request #230 from ragerdl/master

Merging from ragedl/acl2