Implemented overloadable string literals using an in-scope fromString.

Uses a combination of OverloadedStrings and RebindableSyntax.
Fixed automatic serialization of the empty list and unit.