fix all broken links
clean up Formal Syntax math
fix all math I can by now
update README