Some optimizer code cleanups, commenting.
Compile-time analysis of sigs with opt params.

This means the optimizer doesn't trip up on protos like ($a?, $b?),
meaning we can inline +, < and so forth for natives again.