pub fn no_hints_revealed(term: &Term) -> Vec<String>
hint --repeat before any hint was shown.
hint --repeat