Removal of terminal node and helper; now all formula nodes are functions.