Merge: SELF type

If Object defines a virtual type SELF, redefines it automatically in all subclasses. Also checks for some conditions on the declaration of SELF: it must be public, it must not be fixed and it must be declared on Object (or not declared at all). These conditions ensures that its refinements are valid.

The error messages when trying to redefining SELF could be improved. Maybe adding a special case preventing any redef of SELF?

Pull-Request: #902
Reviewed-by: Jean Privat <jean@pryen.org>
Reviewed-by: Etienne M. Gagnon <egagnon@j-meg.com>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>

diff --cc lib/java/java.nit
Simple merge

diff --cc lib/standard/kernel.nit
Simple merge

diff --cc tests/sav/nitg-e/fixme/base_gen_reassign_alt4.res
index 8229d05,37e9ff8..980ce17
--- 1/tests/sav/nitg-e/fixme/base_gen_reassign_alt4.res
--- 2/tests/sav/nitg-e/fixme/base_gen_reassign_alt4.res
+++ b/tests/sav/nitg-e/fixme/base_gen_reassign_alt4.res
@@@ -1,4 -1,4 +1,4 @@@
- Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:389)
 -Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:396)
++Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:411)
  11
  21
  31

diff --cc tests/sav/nitg-e/fixme/base_gen_reassign_alt5.res
index 8229d05,37e9ff8..980ce17
--- 1/tests/sav/nitg-e/fixme/base_gen_reassign_alt5.res
--- 2/tests/sav/nitg-e/fixme/base_gen_reassign_alt5.res
+++ b/tests/sav/nitg-e/fixme/base_gen_reassign_alt5.res
@@@ -1,4 -1,4 +1,4 @@@
- Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:389)
 -Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:396)
++Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:411)
  11
  21
  31

diff --cc tests/sav/nitg-e/fixme/base_gen_reassign_alt6.res
index 8229d05,37e9ff8..980ce17
--- 1/tests/sav/nitg-e/fixme/base_gen_reassign_alt6.res
--- 2/tests/sav/nitg-e/fixme/base_gen_reassign_alt6.res
+++ b/tests/sav/nitg-e/fixme/base_gen_reassign_alt6.res
@@@ -1,4 -1,4 +1,4 @@@
- Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:389)
 -Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:396)
++Runtime error: Cast failed. Expected `OTHER`, got `Float` (../lib/standard/kernel.nit:411)
  11
  21
  31