pub fn start(facts: &[&str], parse_error: impl FnMut(ParseError, usize))
Starts the REPL and loads the facts