Morph insertion and allomorphy in optimality theory