select macro uses ident instead of expr

Is there a safety reason for this? Otherwise it'd greatly improve user friendlyness if the macro could take an expression instead of an identifier!

Start by locating the select macro and reviewing how it currently accepts an identifier. Investigate whether accepting an expression has a safety constraint and clarify the intended expression syntax; done means the macro accepts the agreed input without compromising safety.

Written by the indexing model from the issue text.