Remove unused language pragma.
Fix FreeIn MemSummary instance.
Add more trackability to type checker.
Remove unused checkBindingLore method.