[Waba-spec] Proposed Vm.java and Resource.java

[Sean L. <se...@cs...>]

After looking at Waba's and SuperWaba's Vm implementations, and knowing 
that implementation of the Class class will take longer than expected, 
allow me to make the following recommendation for a new Vm class: