Swift lambda calculus functions supporting intensional equality - View it on GitHub