[plt-scheme] Re (modified): macros that expand into LISTS OF top-level definitions with computed names

Will this help you along?

#lang scheme

(define-syntax (def-all stx)
   (syntax-case stx ()
     [(_ type ...)
      #`(begin (begin (define type 1)
                      (register-instruction 'type))
               ...)]))

(define (register-instruction x) x)

(def-all exec float integer)