Type inference algorithm with mutable data structures in Go - View it on GitHub