astar works.
js: church numerals start.