Change TypeIDError to use String instead of Text in its fields

We will use the promoted constructors in the type level, and I do not think it is possible to convert a type level Text into a Symbol

[mmzk] (refactor)

Remove -O2 & publish package

[mmzk] (doc) Fix hyperlinks in README

[mmzk] (doc) CHANGELOG

[mmzk] (doc) Update README and fix typos