Default to bm

Switch to binary-matrix instead of coloring for type tests.

This is a temporary switch (we hope), until #307 is solved.