Text this: Generic Modal Cut Elimination Applied to Conditional Logics