Optlang: Some more cases of nested_eval proof
Optlang: Projection case for nested_eval
Optlang: Finish nested_eval proof