updated slice syntax according to WG decision
updated inverse-IRI syntax according to WG decision