Make the simplifier slightly stricter.

This commit reduces allocations by the simplifier by 3% for the
Cabal test at -O2.

We do this by making a few select fields, bindings and arguments strict
which reduces allocations for the simplifier by around 3% in total
for the Cabal test. Which is about 2% fewer allocations in total at
-O2.

-------------------------
Metric Decrease:
    T18698a
    T18698b
    T9233
    T9675
    T9872a
    T9872b
    T9872c
    T9872d
    T10421
    T12425
    T13253
    T5321FD
    T9961
-------------------------