make this pattern match exhaustive
add support for parsing decimal point notation
Add 'a' to approximate a rational number.

Adds string types to the stack.