In the most general sense yes. However you can encode whatever you want on top of a trs, just like how you can encode any computer language in lambda calculus b

In the most general sense yes. However you can encode whatever you want on top of a trs, just like how you can encode any computer language in lambda calculus because both are Turing complete models of computation.