Comments and type synonym in CmmSink
Fix #7918