Further optimizations

- 1-output component specializations
- Optimized MachineState (holding Proposition[] for true and false
props)