Test whether a term is numeric.
Test whether a term is a value.
Only evaluate E-PredSucc for numerics.
Only evaluate E-IsZeroSucc for numerics.
bind for Optional.
eval returns Optional.
Print optionals more prettily.