How can we extend calc to automatically extract and print al

Stream: general

[Zihao Zhang]

I aim to implement a tactic calc_with_extraction that extends calc by automatically extracting and printing all intermediate subgoals at each calcStep, as if an extract_goal were inserted immediately after the by keyword in every calcStep.

[Asei Inoue]

it sounds nice!