Stronger tests for data types