+ This would be to go back to the Sem5/Sem6 choices of monads (without list), and to implement the handling of lists
+ by hand, as we did in the Sem1/Sem2 strategies.
+
+ Additionally, we haven't tried here to handle non-rigid noun-types. That's why we can have sent types be:
+ topic (or [topic]) -> store -> world -> ([topic], store)
+ the input topic doesn't depend on what the world is. GSV's types are suited to handle non-rigid noun types,
+ since they are instead using an analogue of (world * topic) -> store -> ([world,topic], store). We could follow suit,
+ removing the Reader monad implementing Intensionality from our stack and implementing that by hand, too. Another
+ strategy would be to continue using a Reader monad but not by merging it into our main monad stack, instead using
+ values of _that_ box type as _payloads for_ our main box type. This echoes a question raised by Dylan in seminar:
+ why must we combine the monads only by way of "stacking them" into a single monad? As Jim said in seminar, it's not
+ obvious one must do so, it just seems most natural. The strategy being evisaged now would at least in part follow
+ Dylan's suggestion. We'd let our sentence types then be:
+ intensionality_box([topic]) -> state_plus_intensionality_box(intensionality_box([topic]))
+ = intensionality_box([topic]) -> store -> world -> (intensionality_box([topic]) * store)
+ In that case, I think we could once again merge the list component into the intensionality_box type, getting:
+ intens_list_box(topic) -> state_intens_box(intens_list_box(topic))
+ = intens_list_box(topic) -> store -> world -> (intens_list_box(topic) * store)
+ = (world -> [topic]) -> store -> world -> ((world -> [topic]) * store)
+ That looks like a pretty complicated type, and might not seem an improvement over GSV's own system. But its advantage is that
+ the implementation of its operations would so closely parallel the other semantic strategies illustrated above.
+ Testifying to the "modularity" of monads, which we have been recommending as one of their prominent virtues.