CE: variables in concrete terms should be denoted by idents instead of strings
The current implementation is doubtful, see also !862 (merged)
The "eval" is likely to involve name clashes, that should be avoided by using idents
The current implementation is doubtful, see also !862 (merged)
The "eval" is likely to involve name clashes, that should be avoided by using idents