* update database (lam calculus with constructors)