procedural representation updatE
eopl 2.15
eopl c2 16
eopl c2 18
eopl c2 20: bi-directional binary tree