Tidy up spec name
Add intersegment testing
Nonpreallocated pointer testing
Fix a+b bits flag for double far pointers
Tag double-far pointers as inline-composite lists as needed, and tidy some names
Update