Fix library for logic and operators.

Still missing 'assert' (new), 'disjoint_sets' (not really a released library),
'smart_ptr/make_shared' (just part of the smart_ptr library).