Add sample tests for single type assertions