@rockhyrax I'm building all computable functions up from three primitives - zero, successor, projection. Working towards http://is.gd/cgtWv