ModelLoader now returns a Model rather than InfModel in order to conserve heap space
fragments consisting of a single punctuation mark are now not added as clue fragments
solutions are now presented to the user in descending order of confidence