Fixing issue #428.

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