identical handling of illegal named expressions

(exercise 11.5.3)
carry over FAE interpreter
interpreter with stateful boxes
implement next-location without side-effects

(exercise 13.3.2)
sequences of arbitrary length (exercise 13.4.2)
carry over BCFAE interpreter