Rubocop and happy

Prefer double-quoted strings unless you need single quotes to avoid extra backslashes for escaping.