privat/nit — pull request #611 by privat (2014-07-22 20:07:40+00:00)
Title: Add annotation `fixed` for virtual types

Fixed virtual types prevent redefinition is subclasses

~~~
class A
type F: Foo is fixed
end
class B
super A
redef type F: Foo # Static error
end
~~~

Currently, there is no benefit of fixed virtual types. Thus this is only a step toward the resolution of #298. What is missing is the ability to use the `is_fixed` information in `is_subtype`.

Note: the first commits introduce the basic verification on redefinitons of virtual types that is missing; but nobody saw that there was no checks.