rename subinterpretation to equal_on

makes it less surprising that it is symmetric.
better name suggestions would be welcome.
rename consistent_update to sound_update

to reduce confusion about the word "consistent" as used in
holConsistencyTheory.