An interpreted language for exploring Tree Calculus