make sed work on my Mac
bc_equal checks lengths early
propagate change to equality semantics upwards

this might break the translator (untested).
compiler proofs build, though.
fix translator for change to equality semantics
Merge remote-tracking branch 'origin/x64'