Add support for a REPL

[algebraic-dev]

• branch experimental into kind-driver crate
• api to create commands for repl
• control c twice to leave or control d
• auto complete on tab
• a banner like the Unison one
• use yansi so we can just turn off colors
• watch mode that says which files type checked.