Pattern comments on Constructive Definitions