Sessions and InterestPointMatching: Consistent notation