Working example of monad reduction

- Fixed bug in monad reduction
- Finished reification
- Fixed bug in reification of applications when the head
  symbol is a deBruijn index.
  - This solution could be much more general.
- Demo for monad reduction.
- reification for monad expressions.