starting matrix reductions algorithm
progressing Smat reductions
Model compressor updates, abstractions