Instance of Expr for Mod7