Minor improvements to the introduction
Adding text about typing LuaSocket
Checking whether function declarations reach the end without an explicit return
Adding new case studies: http-digest, typical, and mod11
Adding evaluation data for Lua Standard Libraries 5.3 (beta) and TLC
Splitting the evaluation chapter into two sections: case studies and related work
Adding the inter category to the evaluation results
Writing the examples from chapter 3 in the verbatim abstract syntax
Updating the evaluation data to include the inter category
Updating typing rules
Updating chapter 3 to include the integer type
Some english revisions to the introduction
Minor updates to the typing rules sketch
Adding text about the typing rules for arithmetic operations
Fixing #11 and #12
Adding text about the typing rules for the or idiom
Fixing #14
Adding raw text about related work
Starting to implement the typing rules in Haskell
Adding function types to the Haskell implementation