Tutorial & docs: more clarity, and explain indexed monads.

Signed-off-by: Austin Seipp <mad.one@gmail.com>