fix to the fix: Load the definitions the definitions that typechecked before the error