Introduce constant generics for `u32` values. Introduce literal inference