fixed instantiate, it should expand e.g instantiated. Does this require a rule? Not sure.