introduced likely_array for more complete mapping between likely and LLVM type systems