Fixes idris-lang/Idris-dev#577 by doing look ahead on metavariables to avoid confusion with ?=