resolve ambiguity of MobileIdentityLV type name

There are two distinct types defined for a Mobile Identity LV IE.

One type definition lives in GSM_RR_Types and defines the "canonical"
IE form, with a full octet for the length.

Another one lives in RLCMAC_CSN1_Types which defines how a mobile
identity appears in paging requests. In this case, the length field
is only 4 bits in size. Rename this latter type from MobileIdentityLV to
MobileIdentityLV_Paging and add a comment to highlight this distinction.
TS 144 060 Table 11.2.10.2 explicitly states that only the value
part of this IE matches the definition of the canonical IE as
"defined in 3GPP TS 44.018" (actually, TS 44.018 further redirects
the reader to TS 124 008; see section 10.5.1.4 there).

As an aside, a third definition of the MobileIdentityLV type exists
in MobileL3_CommonIE_Types, which matches the "canonical" form.

Change-Id: I990316cd5ef5aaf079b03c344e3185ae6ab8ba6d
Related: OS#2404
diff --git a/library/RLCMAC_CSN1_Types.ttcn b/library/RLCMAC_CSN1_Types.ttcn
index fbd01d4..9a7c867 100644
--- a/library/RLCMAC_CSN1_Types.ttcn
+++ b/library/RLCMAC_CSN1_Types.ttcn
@@ -185,7 +185,11 @@
 	};
 
 	/* 11.2.10 Packet Paging Request */
-	type record MobileIdentityLV {
+	type record MobileIdentityLV_Paging {
+		/* Note that the size of 'len' differs from that of the Mobile Identify IE
+		 * as defined in 3GPP TS 24.008 10.5.1.4 "Mobile Identity"; Paging Requests
+		 * use only 4 bit to encode the length of a mobile identity, whereas the IE
+		 * uses a byte. */
 		uint4_t			len,
 		octetstring		mobile_id
 	} with { variant (len) "LENGTHTO(mobile_id)" };
@@ -193,7 +197,7 @@
 		BIT1			presence ('0'B),
 		BIT1			ptmsi_or_mobile_id,
 		GsmTmsi			ptmsi optional,
-		MobileIdentityLV	mobile_identity optional
+		MobileIdentityLV_Paging	mobile_identity optional
 	} with {
 		variant (ptmsi) "PRESENCE(ptmsi_or_mobile_id = '0'B)"
 		variant (mobile_identity) "PRESENCE(ptmsi_or_mobile_id = '1'B)"
@@ -202,7 +206,7 @@
 		BIT1			presence ('1'B),
 		BIT1			tmsi_or_mobile_id,
 		GsmTmsi			tmsi optional,
-		MobileIdentityLV	mobile_identity optional,
+		MobileIdentityLV_Paging	mobile_identity optional,
 		ChannelNeeded		chan_needed,
 		BIT1			emlpp_prio_present,
 		uint3_t			emlpp_prio optional