Cheaper terminals

Terminals are cheaper—they don’t incur laziness, they don’t bother memoizing, and they don’t do fixpoints, because they can never be cyclic.