Towards A Reformulation of the Typology of Functions