add a convenient foreach on state
add possibly unnecessary conversion for Delta
add first try at karr scheduler