implement extractor for case*, as part of #2