Divide Update type into KeyUpdate and Update.
Update haddocks.
Remove redundant definitions.
Update haddocks.
Add typed update sequence.
Update haddock.
Add functions to derive KeyUpdate.
Add haddock.
Functions renamed.
Update haddocks.
Add key object to typed KeyUpdate.
Update haddock.
Update export list.
Add typed key update sequence.