prolog-chi generate lambda expressions for a given type inspired by: https://github.com/melvic-ybanez/chi