Liveness and generic fixes

Liveness changes have already been reviewed - some eyes on the remaining changesets from rodrigo, jon, and myself would be appreciated.