progress on remedies for type misalignment