pub fn solve(m: &mut Machine, goal: Word) -> Outcome
Solve goal, capturing solutions via the print continuation.
goal