semantic: Give a better error if looking up via a primitive instance.