256-bit and 512-bit integers

let i8 = 0; and struct u64; are already valid. Precisely to avoid breakage when introducing u128 and i128.