Added paragraphs and examples of intuitition behind C => T types.
-rw-r--r-- 84 .gitignore
drwxr-xr-x - Diagrams
-rw-r--r-- 1221 Makefile
-rw-r--r-- 47 abstract.tex
-rw-r--r-- 16076 balance.lhs
-rw-r--r-- 1962 fhm-preamble-extras.fmt
-rw-r--r-- 719 fhm-preamble.fmt
-rw-r--r-- 6328 future.lhs
-rw-r--r-- 2728 introduction.lhs
-rw-r--r-- 15251 mathpartir.sty
-rw-r--r-- 9304 modular-systems.lhs
-rw-r--r-- 2266 outline
-rw-r--r-- 29428 refined.lhs
-rw-r--r-- 12514 report.bib
-rw-r--r-- 2785 report.lhs
-rw-r--r-- 15777 types-in-eq.lhs