[boost] [contract] concepts: pseudo-signatures vs. usage patterns