Fixed warnings in types/TyCon