kframework/k — pull request #486 by radumereuta (2014-05-22 16:57:23+00:00)
Title: Fixing issue #428.

- errors found in VariableTypeInference were reported immediately instead being thrown further.
- fixed some typos.