Improve readability of literal elaboration

[brendanzab]

I altered the literal parser methods on the elaboration context to take the literal constructors, which cleans up some of the multi-line match arms in the elaborator.