0. #lang racket
1.  
2. (require (for-syntax syntax/transformer)
3.          syntax/parse/define)
4.  
5. (struct ldo (id types props env [inherits-promise #:mutable])
6.   #:name ldo-transformer-binding
7.   #:constructor-name make-ldo)
8.  
9. (define (ldo-constructor-procedure id types props [env (*default-env*)])
10.   (let ([this-ldo (make-ldo id types props env #f)])
11.     (set-ldo-inherits-promise!
12.      this-ldo (delay (ldo-calculate-inheits ldo)))
13.     this-ldo))
14.  
15. (define-match-expander ldo
16.   (syntax-parser
17.     [(_ id types props env)
18.      #'(ldo-transformer-binding id types props env _)])
19.   (make-variable-like-transformer #'ldo-constructor-procedure))

=>