	/* Maximum depth of a binary tree of integers */

depth(x) => 0 where numberp(x) or atom(x)  = true.
depth([left|right]) => if dl > dr then dl+1 else dr+1
				where dl = depth(left);
				      dr = depth(right).
