A sintaxe 'type X with .' é reservada para aumentos. Tipos cujas representações são ocultas, mas possuem membros, agora são ...

A sintaxe 'type X with ...' é reservada para aumentos. Tipos cujas representações são ocultas, mas possuem membros, agora são declarados em assinaturas usando 'type X = ...'. Talvez também seja necessário adicionar o atributo '[] à definição de tipo na assinatura