On projectional-solvability and the Fredholm alternative for equations involving linear A-proper operators