Interactions between declarative and procedural-learning categorization systems