Adding type theory blog post