Working on type checker