in reactive-model: test for unnecessary invalidations
clean up reactive-model
in reactive-model: add and test defaults support