Decidable.Equality: Add DecEq (Vect n a) instance
Remove unneeded lemma
Decidable.Equality: "Inline" vectDecEq
Merge branch 'vect-deceq' of https://github.com/reynir/Idris-dev into reynir-vect-deceq