Comments and type synonym in CmmSink