js: continuing with church numerals.
python: starting pacman dojo.