Text this: On noncommutative extensions of linear logic