Throw a signal if VALUE is a representation of an UNBOUND slot. INSTANCE is the object being referenced. SLOTNAME is the offending slot. If the slot is ok, return VALUE. Argument FN is the function calling this verifier.