Expression Tree Label Prototype

The tree labels produce labels like

    2:+,0:int,1:int,0:312

which is pre-order enumeration of the tree

        +
       / \
    int   int
           |
          312

The left int does not have concrete value because none is know of that
int.

Signed-off-by: Tim Henderson <tim.tadh@gmail.com>