[Paper] Add some pictures.

Depending on how much we're going to write, we could keep only one.
[Paper] Elaborate on AI type class. (might be too extensive)
[Paper] Add paragraph about Yesod framework.