feat(kernel/type_checker_justification.cpp): improved error message for type errors on application.