Semantic Reification: A new paradigm for random program generation