SMS dit: Bidirectional optimality theory