agenda update

some type checking is next, but only runtime-wise yet
renamed mfactor_cortex -> mfactor_bytecode
started cutting of architecture-specific behaviour
compilation sanity check