On the micro-economics of technical progress