Added typecheck test data