type system v3