Switched to syntactic equality for reorder-lets.