Go implementation of the Cool programming language