Add ':type' command to REPL.

Inference now has its own configuration, which is passed in from the
compile config. This also factors some repetition and adds missing
parentheses to displayed function types.

Closes #61