Fixing issue #428.
   - errors found in VariableTypeInference were reported immediately instead being thrown further.
   - fixed some typos.
Adding regression test and fixing some inconsistencies in krun.
Merge pull request #486 from kframework/fix-is428-noparse

Fixing issue #428.