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;
}