lexi.lambda2019-5-27 17:25:40@sanchom Use format-id to unhygienically make a new identifier from an existing one while copying the lexical context.