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 bug40;

char[] func(void* p)
{
    return null;
}

void main()
{
    char[] function(void*) fp = &func;
    assert(fp(null) is null);
}