Update README

Add reference to Ordered Overlapping Type Family Instances.