Hi Ron.
I have been watching/studying TWR session archives... great stuff.
"Real-world logic" vs. "Formal logic" theory in CR is a game changer (at least for me).
A) As you have suggested, I have classified following CR types. Hope they are OK.
Assumption: Formal logic
Must be true: Formal logic
Strengthen : Real-world Logic
Weaken: Real-world Logic
B) Could you help classify following 3
Evaluate Argument
Flaw in Reasoning
Resolve Paradox
Many thanks | Supratim