Made lambda return type annotations optional.
Added booleans, if, joins, meets, and top.