A type system for dynamic values in Go applications - View it on GitHub