More shifting in the type system