custom conversions for the equality tests

should hopefully be faster than EVAL and REDUCE_CONV
parameterise whether to clear hypotheses in extract_fmap

do it for the main bootstrap, but don't do it for label removal