Optlang: Correct mistakes in col_def