Update formal.tex

compared notation for judgmental equality with that in the intro
Update formal.tex
Update preliminaries.tex

changed notation for judge eq to agree with appendix
Merge pull request #405 from awodey/master

judgmental equality in Ch. 1