Exploring custom extensions to lambda calculus