Make type-level binary tree.

        Value level to follow?