Renamed eqb => eq_brace && better syntax for move/have