Optlang: Add extends property and lemmas
Optlang: Correct arity use in col_def
Optlang: Add identity property for extends