Implement PEG-like stringize / close #4