Christmas commit: add documentation for Problems class