The problem with changing concept definitions is that you can't reliably predict the impact on other people's code. Maybe the constraints implementation is actually correct, and that property maps should always be copy assignable.

At some point this semester, I hope to find time to integrate my old SoC work from 2007. This includes a complete rewrite of the concept checking classes, so it may fix the problem.