Typing
Add info about typed nodes to thing