Alias Value pointers for concision.
Factor repetition.
Make 'Choice' more type-safe.
Reduce repetition and kill dead code.
Add floating-point builtins.
Use uniform initializer instead of 'make_pair'.