k3ocaml: Now handling trigger declarations