A special function composition language