EFX Exists for Four Agents with Three Types of Valuations