Initial commit for funsets