A semantics of introspection in a reflective prototype-based language