* bug with BITS(n) and {n}: now OPV.Convert does BITS(n) instead of {n}; implemented new operation 'bit' for {n}.