Reflect format conversions in type signature

Rather than implicitly reformatting matrices for efficiency, require the
caller to reformat them ahead of time. The caller can share formats to
prevent repetitive reformatting.