Implement checkfilter in the compiler.
Type-o in SharedObject.
Nop checktype in verifier.
Adds SharedObject.data.