different improvements in editors and typesystem rules
fixing the tests