Refactored CardinalityAnalysis -> Card, on the way to refactor the
vectorizer.  Fixed a nasty bug in cardinality for Times along the way.