add some notes regarding the distinction between applications and functions