[Skip ci] Add checked-literals WIP

[rowanG077]

This introduces the brand new https://github.com/clash-lang/checked-literals plugin that makes sure literals in the code are proven to fit into the bounds of the type.

Still WIP because the package is not released but all instances are there.

Still TODO:

• Write a changelog entry (see changelog/README.md)
• Check copyright notices are up to date in edited files

[martijnbastiaan]

What do you think of making the tests similar to checked-literals and part of clash-prelude:unittests? I can do that if you want.

[rowanG077]

We can do that. But I would not remove the tests in checked-literals itself. This PR itself is still a WIP. It was quickly moving towards seeing if tests pass :)

[martijnbastiaan]

Ok! I'll port it over. Yeah, I won't remove the tests in checked-literals itself.