added 'size' method to MExpr
change the printer to print conjuncts of quantifier bodies in separate lines
more fields/funs for seq types
sequence filtering example