Get the new type for a stateful primop.
The new types have a World# token threaded though them, which make them
suitable for applying the Thread transform when converting a Core Flow
program to a language that needs such state threading (like GHC Core).