logically rearranged functions
refined typedefs; updated to latest BKMs
rearranged functions for BKMs
rearranged flfunctions for BKMs; added default epsilon
fully removed ad-hoc epsilon
added operator(i,j) and mat-vec mul
added gauss elim checker