Comparison functionality.

Added significant functionality for comparing unit safe types.