Simple model of computation with homoiconicity
The paper Typed Self-Representation by Tillmann Rendel, Klaus Ostermann and    Christian Hofer seems to satisfy the requirements, and it's typed too. Perhaps it doesn't satisfy the criteria of being a simple model of computation.