Review current datatypes and add Array, map and set

[matheuslenke]

Example in KAOS:

Entity Library
Has available,checkedOut,lost: setOf[BookCopy]
coverageArea: setOf[Subject]
Invariant (∀lib:Library)(lib = available ∪ checkedOut ∪ lost
∧ available ∩ checkedOut = ∅ ∧ available ∩ lost = ∅
∧ checkedOut ∩ lost = ∅ ) ...
end Library
Relationship Borrowing
Links Borrower [Role Borrows, Card 0::N]
BookCopy [Role BorrowedBy, Card 0::1]
Invariant ( ∀lib:Library,bor:Borrower,bc:BookCopy)
(Borrowing(bor,bc) ∧ bc ∈ lib ⇒
bc ∈ lib.checkedOut ∧ ★Requesting(bor,bc)]
end Borrowing