WIP: No evalf in equality

on top of #7959 and #7838.