tests for type comparisons and related