This type maps the string "foo" to the number 3. All other strings are not in the lexical space.