Merge pull request #1 from ggreif/master

equality GADT is now in base, use that
Add more missing cases.

These are not that important, because 'CpyTree'
occurs only on compressed paths, and compression
only happens at the end.

But having them for completeness and making the
functions total is not going to harm.