Affine Logic for Constructive Mathematics