extensible-0.7: Extensible, efficient, optics-friendly data types and effects