SimplicityHL doesn't understand T::MIN and T::MAX

[schoen]

Project version

0.4.1

Project

core

What happened?

The jet documentation (as extracted from SimplicityHL source code) refers to u1::MIN, u2::MIN, ... u64::MIN,
as well as u1::MAX, u2::MAX, ... u64::MAX. One might also expect u128::MAX and u256::MAX to exist.

However, the SimplicityHL compiler doesn't currently recognize any of these notations and we can't successfully use them in a program. They might arguably refer to compiler internals, but, if so, they probably shouldn't be mentioned in user-facing documentation.

Minimal reproduction steps

fn main(){
   let x: u8 = u8::MIN;
}

[KyrylR]

@stringhandler Does it make sense to open PR with your solution? (so we can compare both approaches)

[stringhandler]

I think it's better to wait for a standard lib and then see if it's still necessary after