Tag Groups in Proofs

[#1]

Be given the ability to tag groups in a proof comment instead of having to add them through a workflow.