Comment by Qerub

Reminds me of this previous effort to build upon Go but add a more flexible type system: https://github.com/oden-lang/oden