Thanks for the feedback! To answer your questions:
1) Currently, yes, though that is something that will definitely be implemented as we work on this further
2) Laziness there is something that we're going to look into. We need to first assess how much of an impact it has on performance - if that's big enough to warrant taking further (which it likely will be for more complex apps) then we need to figure out the best way to perform a deeper diff of the model
Good luck with the F# port - I'd be very interested to hear more!