This program converts lambda terms to their normal form