Add definition of function (not tested)

Function application is not implemented