Add a forgot construct to patterns
Continue the pattern matching (add gammaC and the module Pattern)