Whoa, if it's strongly typed, we need to know functions return types.
Write something that will imitate a REPL.