Fix error when error reflection fails
Fix error when error reflection fails

Error reflection could fail legitimately with a type error, if the
reflected function is not directly imported but available via an
imported module. In this case, display the original error.

Heather/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev