use believe_me (refl {...}) instead of postulate

reason for the change: rewrite rules using postulated equalities get
stuck