added args type for function application
Merge branch 'code' of https://github.com/kyzhai/SMURF into code