Programming Terms Terms abstraction anonymous ephemeral idempotent memoization predicate serialization