additional work om the type system; sketched out sources for the runtime