Power up your REPL life with types

Types