remove opaque/unused update type

This was left over from when more of the `Raw_app` API was exposed from `Async_NetKAT`. This type is no longer necessary, nor can it be of any real use to clients of this library.