Fixes for attributes

Some fixes and improvements in modelize_property.nit on the attributes side.

* redef optional on the `writable` part (see #270)
* fix signature check
* enable the inheritance of the type when a var redef a fun