A Lambda Calculus with Forms