Enforce capacity of integer types

[cburgdorf]

What is wrong?

It's currently possible to use a type constructor of e.g. u8 and feed it a number that is to high such as u8(1000).

How can it be fixed

1. When using type constructors with literals it should be enforced that the literal fits into the given type
2. We will probably also need to specify the type in the generated YUL code. E.g. I would expect that this code:

x = u8(1)

should translate into:

x := 1:u8

Related YUL docs on integer literals