Added subsection Function Application and a describtion of infix declaration