fixed bug: hasKey returned true after key was removed
Merge branch 'master' of https://github.com/stanford-ppl/Green-Marl
make function purely virtual again - they get overwritten anyway
Merge pull request #117 from honkdamonk/master

Bugfix: Error in Map-Remove function