Declaring a field as `f: elems[g] -> one h` is producing a name-not-found error. What am I missing?

Question

In a model I am writing, I would like to say that a reading of a manuscript identifies a sequence of tokens in the manuscript and maps them to types; the mapping should be defin