Tasks 2/13

[michaelto20]

• Change LCase in typechecker, ty that gets passed in is the type for each branch
• Change type annotation parsing or LCase to be ":" not "< >" and parse out the "List"
• Change typeChecker for LCase to add back in "List ty"
• prettyPrint should still print with [type]
• Go through surface typing rules and make sure they are implemented correctly
• Double check cast insertion, subtyping, and consistency alrogithms
• Research how to make Grady into a Stack package