Notation for string literals in `stdpp_scope`.
This removes a giant hack (Global Open Scope list_scope in the old strings file) and fixes some parsing issues (=? not working after importing strings, see test case).
Edited by Robbert Krebbers
This removes a giant hack (Global Open Scope list_scope in the old strings file) and fixes some parsing issues (=? not working after importing strings, see test case).