[carbocation]

I agree with this; it feels like the most likely tool to drop its high-level comments in code comments.