Pi.hs is updated according to the correct operational semantics.