T: a simple reduction language based on combinatory term rewriting