TheoremSet, changed visibility of Expr