Add break_and hyp and break_and goal

[Kethku]

Maybe this isn't super useful, but it might be nice for consistency

[wilcoxjay]

break_and only works on hypotheses anyways. break_and_goal would be fundamentally different, in that it would introduce additional subgoals. I'm not opposed to it, but I don't think break_and should be redefined to combine the two.

[Kethku]

Then I think if break_and_goal is defined, break_and should be renamed to break_and_hyp just to be similar to break_match and convey that it only effects the hypotheses. Just a thought