Seol É Seo mar Theachtaireacht Téacs: Smooth negligibility and subdifferential calculus in Banach spaces, with applications