Strictness optimizations

These changes result in modest performance improvements and significant memory reductions for all current benchmarks (Dragon, Rotations, Poster).