untyped and simply typed lambda calculi