Remove unused includes.
Add Complex to Primops.
Add Eq and Error to Primops.
Add Integral to Primops.
Add Array to Primops.
Add Save, SizeProp, SourceInfo and Switch to Primops.
Add Run and Return to Primops.
Improve size propagation for untypeType.
Add LoopM and Mutable to Primops.