fix rewriterule doctest
assume = True by default
canonicalize calls MatrixExpr.doit
adjust matrix computations to new rewriterule

give typecheck condition to rewrite rule (make new typecheck fn)

factor out input rule construction
remove identity from kalman test