I also finally updated the RFC to use u<N> and i<N> now, and removed the bits about taking the name away from bounds-generic integers since those would probably be int<A..=B> instead.
As mentioned, this feels very close to the point where it can be published, so, any additional feedback is greatly appreciated.