Updated PCL: fixes bugs in type derivation where fanout operations are used.