Update type-system.md

Author: andrew-johnson-4

type-system.md

@@ -1,5 +1,5 @@
 <link rel="stylesheet" type="text/css" href="styles.css">
-<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script>
+<script type="text/javascript" id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
 ### Lambda Calculus