fix a minor sign bug in -columnReduce
introduces koszul sign rules to the math base, in eventual preparation for #15