[draft] start outlining general definitions for computation models#550

kesslermaximilian wants to merge 2 commits intoleanprover:mainleanprover/cslib:mainfrom

kesslermaximilian:computation-model-typeclasseskesslermaximilian/cslib:computation-model-typeclassesCopy head branch name to clipboard