Discutindo as restrições de marcação posicional: uma proposta de formalização da diferença de ponto de articulação em coda