RVM

Restructuring of how compiler phases are organized, use of pre/post conditions