An implementation of the pure vau calculus in Go