Better error message for 'Not a guess'

At least in a case where we can tell what's caused it! Specifically,
when there is a missing solution for a type in a binder.

Fixes #708
Allow newer versions of parser and trifecta

(Originally via LiefW, #712). I'll undo this if it still causes problems
on the travis server.