Some variables where type-adapted during the visit

Property definitions

nitc $ TypeVisitor :: dirty=
	# Some variables where type-adapted during the visit
	var dirty = false
src/semantize/typing.nit:628,2--629,18