Fix totality of updateWith/rebuildEnv in Effects
New size change graph builder
Looks at patterns, rather than case tree, and therefore finds it easier to
spot structurally smaller arguments which are more complex.