k-Semantics: Fixed typos
* k-Semantics: Started implementation of Safety Sharp Semantics
* k-Semantics: Loading of nested Components works as expected
* * k-Semantics: Initializing fields work
* k-Semantics: Simplified initial indeterministic assignment to a field
* k-Semantics: A SafetySharp model is loaded now completely into the corresponding k-Cells