removed defs of map and reduce from lib.js, since they're built-in in most browsers by now