add push-string literals, with not-so-coherent syntax