Fix #1.
Improve repl by adding the option to switch off type annotations from output.
Improve readme