Added some new OCL versions of the Imperative stuff.
a lot of things are commented out. Does not work right now, but it type checks.
it gives copy function call as the block body in fromCore. No idea why.