Hi > [you wrote] If pointer-tag is -1, then object type is unconstrained; > otherwise, the object type is constrained to have a pointer > tag that matches pointer-tag.... Here, what types of pointer tags could one have? In my scheme implementation, I just have one pointer type.