New checker for Go: gotype