Style improvements

Small stuff, like using `use_ok` instead of doing it by hand and naming the heterogeneous elements of `@cases`