extend parse_ho to read quantified types
orient can now print several solutions