First-class syntax