Implemented LiteralUses. Made various other expression-related tweaks.