clarify houses/1 and add example queries

These queries illustrate a central point of the puzzle: While there is more
than one possible arrangement of houses that satisfies all hints, the
answers to the questions are unique. Therefore, the puzzle is still well-posed.