applied signature to functor
implemented gauss_matrix_to_subst in linrat expression. tested.