I thought the point of homoiconicity was essentially runtime reflection and evaluation of programs constructed at runtime, i.e. code is a first class datatype in the language.

I don't think these properties imply much about the underlying implementation of the language.