Elaine: Elaborations Of Higher-Order Effects As First-Class Language Feature