New checker for Go: gotype.