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