if the desired type is W_Object, no need to check
make smaller continuations

generally reduce the size of continuations by just giving them a
reference to the ast node, and not the content of fields of the node.