instance of PrettyAlg for Literals
get expression parsing working a little bit
couple more tweaks