Clarify compact IRIs and add two test cases

This addresses #224.