Adding verbose mode
Fix handling undeclared types
Display verbose mode in the info channel
Display source location in the error messages
Allow namespace definitions in the shell
Don't display na arguments in pretty-printed Boost.MPL containers
Adding tutorial to README