Add forall empty set test
Add test for map
Implement map
Remove print statements