Some work with Plus Nodes, made nec. by WriteNode
Small addition to exit when fn not of correct type