KName argument order
Merge branch 'master' of http://github.com/minmell/minihaskell
elaborate_dictionary

To note: current complexity is exponential