Anyone else feels that typing is single-handedly responsible for most of the complexity of imperative languages? I can see its use in huge projects, but even then Ada's self-defined types seem superior and safer. For the purpose of alignment all you need is to check the size of the variable.