Fix the definition of the instance-of instruction

We need to record its type explicitly.  Furthermore, its return type is bool.