Confirmation of an ANNNI-Like Model for Polytypism in SiC