tweaks to abstractFunctionExp in absyn
added the literal methods back to expression
tweaks to documentation across the board
ok populator isn't making the ide yell anymore (at least for the stuff required by theory/precis modules