Контрамодули над целыми l-адическими числами это то же самое, что слабо l-полные абелевы группы Уве Янсена (они же Ext-l-полные абелевы группы Боусфилда-Кана) -- см.
http://posic.livejournal.com/107398.html . В частности, структура контрамодуля над l-адическими целыми однозначно восстанавливается по структуре абелевой группы (как это ни странно). Аналогично, забывающий функтор из категории контрамодулей над коалгеброй C, такой что C*=k[[x]], в категорию k[x]-модулей является вполне строгим. Отсюда вытекает и аналогичный результат для формальных степенных рядов/многочленов от нескольких переменных (коммутативных). Все это настолько просто, что непонятно, почему я это не осознал пять лет назад.