More sigma-type shenanigans.
Difference between dots for irrelevant args and dots for sigmatypes...
Fixed todos.
Fixed orphans/widows.