added operator==() to Type class, for obvious reasons.