Changed tests_typestate to test_typestate for consistency.