generalising subscripts.

Subscripts can now be any element of the type class Subscript. This
makes it possible to use suff like `variable "x" 5 body` instead of
the more complicated `variable "x" [5] body`.
some inlining for functions in R.U.Ptr
added Lift instances for endian safe word types
Cleaned up TH code
Inlining roundF
Raaz executable package providing sha1sum currently
Refactoring TH code
Merge branches 'x-primitives' and 'x-hash-sha' to master

This cleans up some of the TH based code.