fixes terminology

tree-recursive -> recursive
tail-recursive -> iterative
objects are like programs post