Define a dynamic compiler.

I may want to modify this definition in the future. Really, the current readme
describes properties that I hope are emergent from a few core properties that
really define what it means to be a dynamic compiler.