[ fix ] Delayed desugaring of `tactic' until typechecking by adding it to the abstract syntax.