Rules to resolve value-kind for various kinds of values.
These are used to relieve the hypothesis of the rule for executing identifiers, in atc-exec-ident-rules.