BUGS

   1 Known big bugs and limitations
   2
   3 = Primitive types and null  =
   4
   5 Currently, the implementation of primitive types expects their values are not null.
   6 However, the NIT syntax allows null to be assigned to primitive variable and attributes.
   7
   8 Thus, using null and primitive may yield to unexpected results.
   9 A temporal ugly fix to avoid bad surprises is that primitive attribute are implicitly initialized with a non null default value.
  10
  11 Change required:
  12  - wait nullable
  13  - remove implicitly initialization
  14
  15 = Closures redefinition =
  16
  17 No checks are done to verify that closure signatures are conform among redefinitions
  18
  19 Change required:
  20  - add the checks
  21