Add literals to type representations.

This just keeps getting better and better.
Add -XParallelListComp to extension list.
Remove superfluous $.
Fix typo in `writeSet`, fix bind analysis thereby.
Extend reference binds to tuples and records.
Perform selective writeback based on effect analysis.