Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages