Conversion checking tweak

Slightly more liberal if there are holes in the terms being checked, so
that we don't fail too early.
Merge branch 'master' of github.com:idris-lang/Idris-dev