paper/assignment2: added all type inferencing rules
midreport/assignment2: finished accompanying text to Typing