Go type system