Added initial support for ternary operators and conditional nodes. Added x,y,z as possible leaf values in Introduction.