rename type-cond to type-case; release 0.4.22