Id personally appreciate a more complex version of Go, which compiles to plain Go, especially richer types for modeling business logic in places where its beneficial. Your lang may be inspired by Go, but it does not use the Go platform nor toolchain, correct?