plurals, resets, and generalized cont type: K a t