alloy compiler: building toward change impact. todo: apply reactive assignments