_equal parameter for edit_distance
remove unused equal_to ref
_equal param for edit_alignment
allow cost_sub() and output_sub() to be undefined if substitution is compile-time disabled
excise obsolete equality tests in cost functions