Exotic binding forms

Can nominal (or other) techniques be generalized in a principled way
to handling "exotic" binding forms such as ML pattern matching,
global scoping, or letrec?

James Cheney