Add is_lam and is_fun predicates.