Ensure we only shadow variables that can be typed
Reject properties mutated / deleted / added from jail