depend on redex-lib instead of all of redex