A simple yet useful program that parses Lambda calculus expressions and also converts it into de Brujin Indices (to their simplest forms) with Krivine Machine