replace IntSeq with List

there are still problems with multiple representations of maps (so I left it commented out for now).