How does PRIMs solve the binding problem?
PRIMs doesn't claim to solve to binding problem. It just passes on the responsibility of representing the symbols and combining them accordingly. In this way the binding problem "is no longer an issue" of PRIMs, however it is a problem of whatever representational system it's working on top of. Whether it be symbolic like ACT-R or more neural, such as the NEF.