bugfix: mark types created via cecil as alive
don't check invariant in a cecil creation call
oops
I guess this is what cyril wanted - please fix if not ;-)
maybe this feeds my motivation;-)
fix a few closure name clashes
code cleanup
obvious fix
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel

Conflicts:
	src/smarteiffel/cecil/cecil_entry.e
	src/smarteiffel/generation/context/code_context_constants.e
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel