An implementation of Termination Combinators in Rust