added typechecking to evaluate.relabel_from_one