Pure and declarative syntax definition: paradise lost and regained