How to Design a Local Variable

great discussions, it would be good for us to form an opinion on what should be our reasonable “official path”, my understanding is that @spectrometerHBH 's proposal may still retain roundtrip property by some careful pattern matching, maybe some flavor that combines the “cell” notation and option in parser to turn things into cell?