add specs for equation-style constraints
bump