Par d -> Par e in IStructure.
Effect sigs for NatArray.
Fixup some unsafe modules.