Fixed Mainable.

Mainable might now be correct.  The problem was we needed to know what a
particular `ToDiagrams` instance was going to result with.  This should
be cleared up now giving all the flexibility I was hoping for.