Changed type inferencer