Refine transition operator type, add operator composition.