Converts what it can prove
Strings, arrays, Rule:: objects, parent spreads and Livewire attributes. Anything it cannot prove equivalent stays as it was, with a skip-log entry saying why.
Pipe strings, rule arrays, Rule:: objects and Livewire attributes become FluentRule chains. Shapes it cannot prove equivalent are left alone and logged.