Basics of Equality Saturation