relax restrictions on bigarray types

introduce [('a, 'b) carray] and ['a carray8] types instead of [buffer]