Немножко переформулировал про NullType
Загатовка под оптимизацию удаления чтений полей и анализ без JMM
Описание M-структуры и всех полурешеток