Alloy: Mapeamento de datatypes para tipos primitivos de Alloy

[tgoprince]

Do mesmo jeito que fizemos o mapeamento dos datatypes de OntoUML para OWL (leia-se Datatype, PrimitiveType, Domain e Dimension) temos que fornecer esse mapeamento para os tipos primitivos em Alloy.