Quantization via Linear Homotopy Types