Revisiting TypeProf - IDE support as a primary feature

Type Checking