Optlang: Tweaks to nested_exp rules, and nested_result