Fixed an error in adding conflict items into the type environment