Polyfold and Fredholm Theory