More literal types handled
Passes all official unit tests.
Totally unoptimized.