minor tweak to defverb to support implicit params