Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
Merge pull request #582 from ahmadsalim/feature/metavariableparserfix

Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=
Name resolution should respect %hide

Fixes #573
Fix display of errors in prover
Clarify parity/natToBin in the tutorial

Fixes #583
Small tutorial tweaks for 0.9.10
Merge pull request #584 from david-christiansen/error-reflection

Fix display of errors in prover