Simple DSL for writing even simpler type inferencers - View it on GitHub