Fix transposed arguments
Further simplify delta/4 when key is known

It feels like there are lots more simplifications and "declarifications"
to be made in this code.  There's too much duplication where it seems
that general rules should apply.
Remove duplicate parent/1 goals

These are implied by differ_in_one_child/5
Standardize variable naming