Removed some checks for abstract llvm types that were too strict, a 'opaque* null' is a valid initializer... when structs in D can be just a forward reference.

module bug18;

struct S {
    int[9] i;
}

void main()
{
    int[9] i;
    auto s = S(i);
}