Test and improve performance

[turion]

It would be great to introduce a few benchmarks (in particular in analogy to https://github.com/ivanperez-keera/dunai/issues/370 and https://github.com/ivanperez-keera/dunai/issues/375), and possibly adopt @lexi-lambda 's performance improvements in:

https://github.com/lexi-lambda/incremental/blob/267b83a8d69c95ea6070c99af9fc49106afbf166/src/Incremental/Fast.hs

The three optimization categories I can read off there are:

• [ ] Inlining all basic constructions (and inline . conlike)
• [ ] A builder function (inlined conlike) with rewrite rules to optimize the common case where the state type or the input type are ()
• [ ] Make cell/rule/machine state strict