Merge pull request #1678 from edwinb/unify-fix

Unification fix for chains of solutions
More sensible hash function for specialised names
Fix transforms under lambdas

Need to ensure names are in the same form (P or V) on both sides of the
transform!
Merge branch 'master' of github.com:edwinb/Idris-dev into partial-eval