not yet implemented
Merge git.sv.gnu.org:/srv/git/liberty-eiffel

Conflicts:
	tutorial/attributes.e
written_declaration_type_mark
fix Savannah #43631