"no way to use it programmatically nor is there a way to get the set of bindings" These don't really make sense in the context of Racket. Pattern matching is a

"no way to use it programmatically nor is there a way to get the set of bindings" These don't really make sense in the context of Racket. Pattern matching is a macro and thus doesn't exist at run time, though of course with eval the distinction between run time and expansion time is not so well defined. Accessing the lexical environment is not something you do in Racket -- it breaks optimisations and is generally considered a bad idea.