.+3, .+4, .+5
Merge pull request #625 from JasonGross/more-dot-plus

.+3, .+4, .+5
The general theory of pullbacks
Some general facts and improvements about modalities
Lex modalities
Topological modalities are lex, including open and closed modalities