* remove errorstate and abstractstate
* parameterization of interpreter (related) classes
* interpreter.data package
* finished Rule and ProofScriptCommandBuilder
* VariableAssignment use Variable as key data type
* Contrapositon as test case