Forall intents - the initial implementation.

Give me a header comment describing what this cleanup does.
(I can infer that it removes PRIM_FORALL_LOOP block modifiers where they are not needed, but where might they be added? Also assure the reader that the other case still exists, so maybe the function should be named removeUnnecessaryPrimForalls instead.)