added some lambda explanation to typelevel.churchboolean