moved Lambda back to logtk.base, with a new implem of beta-reduction
updated quick tests and random generators