The nabla runtime and compiler