Add the ability to perform checks based on values assigned to attributes, deletion of attributes and operands of in-place mutation operations.
Fix a couple of typos.