adding RawInstantiation which converts an instantiation to a list.