Fixed the "bug" with strict vs lazy monad in eval
Added a verbosity flag to imports