fixup constrainable_update_def, and tweak well_formed_constraints_def

also try to make a start on the new add_constraints_thm