Fixed all warnings in Type Checker