made the Untyped file consistent with everything else, added an ideals based semantics of the simply typed lambda calculus