Added type checker tests