update: 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.
Merge pull request #321 from frenetic-lang/update

remove opaque/unused update type