What Language?

what language do we need in order to construct values of the form:

['Frank' # 23  # true
 'Mary'  # 26  # true
 'John'  # 20  # false]

The language will only provide syntax for strings. Atoms and ints will be computed from strings.

• "Mary" pushes the string "Mary" onto the stack
• A,I resp. convert the top of the stack to an atom or an int
• E pops X1,X2,X3 then pushes X1#X2#X3
• t,f,n resp. push true,false,nil
• | pops X1,X2 then pushes X1|X2