Added type field to Node for storing node type, e.g. the type yield from a method (int -> int -> bool for example)