Make the semantics used by the 'isPgpSignature' and 'isHarpyCertificate' procedures stricter.