Optlang: Add apply_th_tac
Optlang: Add label generator datatype.