Type Definition verified::Add1

type Add1<A> = <A as Add<B1>>::Output;

Alias to make it easy to add 1: Add1<A> = <A as Add<B1>>::Output