PointerType and ArrayType now subclass Sequential type, which contains addressability...