Some macro trickery

p-and.rkt

#lang racket

(require (for-syntax syntax/parse))

(define-for-syntax (transform stx)
  (syntax-parse stx
    #:literals (and or)
    [(and rest ...) #'(p-and rest ...)]
    [(or rest ...) #'(p-or rest ...)]
    [_ stx]))

(define-syntax (p-and stx)
  (syntax-parse stx
    [(_ arg ...)
     (with-syntax ([(arg* ...) (map transform (syntax->list #'(arg ...)))])
       #'(list 'and arg* ...))]))

(define-syntax (p-or stx)
  (syntax-parse stx
    [(_ arg ...)
     (with-syntax ([(arg* ...) (map transform (syntax->list #'(arg ...)))])
       #'(list 'or arg* ...))]))

(define-syntax (run stx)
  (syntax-parse stx
    [(_ forms ...)
     (with-syntax ([(arg* ...) (map transform (syntax->list #'(forms ...)))])
       #'(list 'top-level arg* ...))]))


(run (and (and 1 2)) (or (and (+ (if (and #t #T) 0 1)))))