TypecheckerImpl's stubs init values fixed