Start of an execution abstraction...very basic, lots of TODO notes still