RedefinitionAsModule.ice:9: redefinition of sequence `Seq' as module