A Go meta-language and toolchain that adds result types, error propagation, and pattern matching by transpiling to clean Go.