CR feedback, using full type names in error messsages about constraints