A clean first step towards a more flexible type system for the Go programming language