Updating Theoricus class documentation