Solve more implicits before 'case' elaboration

Otherwise we can generate a type for the 'case' block which is not
specific enough, if there are lots of dependencies. Fixes #1620.
Merge branch 'master' of git://github.com/idris-lang/Idris-dev into case-fix
Merge pull request #1622 from edwinb/case-fix

Case fix