Make function values use terms directly.
Rename 'Value' terms to 'Push'.