content dump from paper on Hanoi DSL into structural subtyping chapter.
Added thesis overview for future planning
reorganised thesis to fit new planned outline
sublime files moved out of repo, no longer need to be ignored
ignoring generated resource .fls
individual chapter output improved
individual chapter build rules
modified title
added lemmas and theorems for type system of ts1
initial reformatting of TS language paper for thesis

- removed dependencies on OTT
- added diagrams
fixing commands for tslang chapter
use of import package for proper relative path imports
extracted figures into separate files, fixed lemma references