Remove typesmart

[Apanatshka]

Merge must be synchronized with other PRs. PR group:

https://github.com/metaborg/stratego/pull/8 https://github.com/metaborg/spt/pull/27 https://github.com/metaborg/spoofax-eclipse/pull/17 https://github.com/metaborg/spoofax/pull/63 https://github.com/metaborg/spg/pull/4 https://github.com/metaborg/spoofax-deploy/pull/27 https://github.com/metaborg/mb-rep/pull/19 https://github.com/metaborg/jsglr/pull/78 https://github.com/metaborg/dynsem/pull/172 https://github.com/metaborg/flowspec/pull/4