add evaluation semantics for most nodes