[plt-scheme] Help With Reduction Semantics?

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Greetings!

First, thanks for the reduction semantics library. This is great stuff, 
and I'm enjoying learning about it.

Unfortunately, I'm already stuck, and on the most basic thing in the 
world, too: I can't quite grasp how to define classes of constants for 
the language being defined. For example, I'm interested in trying to 
implement David McAllester's Ontic language 
(<http://autoreason.com/ontic-spec.ps>). Ontic allows the infinite set 
of quoted symbols in the grammar. How would I express that? Would 
anyone else be interested in a reimplementation of Ontic in DrScheme 
via the reduction semantics library? In other words: help! :-)

Many thanks and best regards,
Paul Snively
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (Darwin)

iEYEARECAAYFAkEiulUACgkQbot1wzHBQBWOxgCfejkVZ8aDWAkGhZS6ndO3FEbB
O78AnifICp+h4idqEltLE1dnK8BOegog
=zC+u
-----END PGP SIGNATURE-----