remove TODO
syntax for procedures; no semantics (current tests pass)