Lambda calculus with patterns