Interface to keep track of lookup-related columns

[joseandro]

• Some columns come from “constraint-world” columns, and additional ones correspond to expressions built from those that need to be constrained.
• Maybe we want to create a “compound” witness struct and only later specialize it to retrieve only the corresponding columns with a trait for each type of instance.
• Probably need some brainstorming / engineering meeting to decide on a good design.