Currently the assessment namespace is oriented on the actual formula.

Now use the concepts specified in the papers to calculate the formula. For this split the error types in error kinds. Do the assessment not of concrete errors, but of error types. Don't calculate concrete assessments of concrete parts of the proof, but use the assessment concepts e.g. by assinging concrete proof parts to a concept.