Add specs to test invalid and unique types