fix in sortcheck_app
Merge pull request #10 from nikivazou/sortcheck_app

fix in sortcheck_app: Niki -- can you add your above comment and my follow up into the .ml file as a (* ... *). This way,
we will have a record when we try to properly implement unification!