Change inactiveHoleBackgroundColor to be more distant from cursor background color
AddNextHoles: Lens.traversed -> Lens.traverse, lens style
Oops: AddNextHoles included all definition exprs in hole order, including FuncParams
Add inferred value to hole results