Support `case`; updated README