DebugInfo: Introduce the notion of "form classes"