[ refactor, breaking ] deprecate JSType and use Cast instead

[stefan-hoeck]

I'm experimenting with compile-time slow downs when using idris2-dom, possibly due to too many public exports. A considerable amount of those come from the JSType implementations, which must be publicly exported, because they operate at the typelevel. With this PR, these are replaced by implementations of Cast.