moved text on invisible effect variables after the description of the
type system