fix: type errors were ignored when loading definitions
fix to the fix: Load the definitions the definitions that typechecked before the error
Merge pull request #6 from Saizan/master

Report type errors for definitions