Issue with current implementation of make-variable-like-transformer

labeled-functions.rkt

#lang racket
(require (for-syntax syntax/parse
                     syntax/transformer))

(provide #%module-begin
         #%top-interaction
         #%datum
         (rename-out [my-app #%app]
                     [my-+ +]
                     [my-expr #%expression]))

(define-syntax my-app
  (syntax-parser
    [(_ f arg ...)
     ; if the function has the property 'label, then log the call
     #:with f+ (local-expand #'f 'expression '())
     #:with lbl (syntax-property #'f+ 'label)
     (when (syntax-e #'lbl)
       (printf "; function call to: ~v\n" (syntax-e #'lbl)))
     #'(#%app f arg ...)]))

; (attempt to) give + a label using variable-like-transformer
(define-syntax my-+
  (make-variable-like-transformer
   (syntax-property #'+ 'label "plus function")))

; this macro is never invoked
(define-syntax my-expr
  (syntax-parser
    [(_ e)
     #:do [(printf "; unwrapping #%expression")]
     #'e]))