Title: Concrete spelling-out rules in operational syntax