More concise module translation.
* Consolidated global variables and function pointers.
* Removed (redundant) uniqueness axioms.
Merge branch 'master' of github.com:smackers/smack