Simple DSL for writing even simpler type inferencers