getSpecClause may return multiple clauses later
Careful when unifying explicit arguments

Need to add to the "don't unify" list before applying, not after,
so that thigns which are unified by return type don't get filled
in prematurely.
Merge branch 'master' of github.com:idris-lang/Idris-dev