GHC: Operational Semantics, Problems, and Relationships with CP(|, |)