Invalidation messages

Please review. Fixes #152.