Optlang: Define first version of nested_vals
Optlang: Set up induction for nesting preservation