Not sure why it's a surprise that languages inherently require metasyntactic operations. This has been clear since Church and Gödel.

There's lot of good work on programming languages that allow metasyntactic runtime extensions, going back to Brian Smith's work at PARC.