s -> ts in theanocode
Theano: _print_MatrixExpr = _print_Expr
_print_Expr -> _print_Basic
add matrix inverse and trace