Text this: Smooth negligibility and subdifferential calculus in Banach spaces, with applications