Usar as palavras reservadas Int e String na simulação OntoUML2Alloy

[BernardoFBBraga]

Atualmente, tendo datatypes Int e String no modelo, o OntoUML2Alloy os transforma para Int__ e String__

Poderíamos transformá-los para as palavras chave reservadas, melhorando a performance.

Para isso, é preciso cuidar do escopo de String, que deve ser especificado exatamente e deve-se suprimir os seguintes constraints da transformaçao:

fact dataTypeCompleteness { DataType = Int_+String_ }

fact topLevelDataTypesDisjointnes { disj[Int_,String_] disj[String_,Int_] }