On Liquid Software and the Programmable World