Worked on type checker