Add (non)solution(s) to "the expression problem" chapter based on GADTs

[lukstafi]

Or discuss why it's impossible to solve. See e.g. discussion about open recursion with extensible GADTs.