Properties of typing systems by M. Stefanova