Migrate bind/case optimization to transform/writeback.
Act on writeback information for case.
Delete extraneous optimization modules.