Add TODO for investigating pattern-matching calculi
avoid intermediate vectors entirely
make ir-case a wrapper for ir-multicase