1)Блок - универсален и независим (в идеале). Он может располагаться в любом месте сайта без ущерба для собственного вида. Поэтому блокам не задаются стили, влияющие на позиционирование.
Да, но не потому что он такой весь универсальный, а потому что его стили не будут переопределены вложенными стилями и повышенной специфичностью. Если мы горизонтальное меню вставим в узкий сайдбар, оно не станет вертикальным, но и свое естественное поведение не изменит из-за контекста.
2)Элемент - неотъемлемая часть блока, не существующая вне его. Поэтому элементу можно задать позиционирование в пределах своего блока (различные отступы).
Да.
3)Модификаторами в БЭМ задают блокам внешний вид, состояние и поведение.
Да, и блокам, и элементам, чтобы не прибегать к вложенности и не повышать специфичность.
4)Миксы позволяют совмещать поведение и стили нескольких сущностей без дублирования кода
Миксы больше подходят для переопределения стиля блока или элемента в контексте другого блока, но совмещать никто не запрещает