Go is such a great language. Why can’t it have a better type system?