Preparing some more test templates.
Trying to inverse the TypeInferenceSupremum to use the most concrete production. Let's see what happens.
Merge branch 'master' of https://github.com/kframework/k