removed [buffer] type; introduced [('a, 'b) carray] and ['a carray8] types; relaxed restrictions on bigarray types