That would avoid stringly typed Vari - it would mean we have to use printIdent rather than accidentally printing the plain string anywhere, and would also allow us to use that type instead of VM.Var in SlamData (currently we use VM.Var in most places involving SQL & varmap vars but then unwrap to a plain string when generating SQL π)