An ∞‐categorical approach to R‐line bundles, R‐module Thom spectra, and twisted R‐homology. (25th October 2013)