remove addTyConInfo