Removed the spec' variants and the use of tag-bits.

* Marked appropriate modules Trustworthy.
* Major version bump due to API change.