morecoq: get out beq_nat_sym