Adds documentation to hasCellAt and isSolutionOf.