> For instance if you make an x86-64 assembler in Lisp, it will be just as restricted as any other assembler;

Check out Henry Baker's Comfy 65 Compiler[1] to see how far a little lisp changes an assembler language.

[1]: http://home.pipeline.com/~hbaker1/sigplannotices/sigcol04.pd...