add more credits to type inferencer