powerset construction
adding exponetial construction, now its bicartesian closed