add simp rules for bin_rest and bin_last applied to numerals
add simp rules for bin_rest and bin_last applied to numerals

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle