ivory strings: add 'OverloadedStrings' pragma.