first draft of implementation, core-models and some compiler-fragments