Consider implementing com on a connective-by-connective basis

[jonsterling]

[jonsterling]

I experimented with this today, and fwiw the performance difference was negligible. But this might be affected by other parts of the design of the elaborator, which are changing rapidly. I want to keep experimenting with this.