removed bottom-up type inferencer