Add/fix some docs and create the Problem interface.