types

polymorphic lambda-calculus; sum of products;