main.go: new import of go/exact and go/types