Simplified fixpoint operator type_Y.

Added built-in "pair" function.

Optimize forms like A(yes,x) to V(type_yes,yes,x) to avoid extra evaluation
steps.

Discard unused yield(value,value) routine.

Discard unused item(value,value) routine.