NPE guards, MPS-18163
Covariant type declaration for sequence
Tests updated
Removed "direction" property of a CreateEquationStatement, MPS-18123
Merge branch '3.0/fisakov/typesystem'