PosInfoProp -> PositiveInfo.
Cosmetic changes.
ImpLang: some restructuring.