types+grammar: added 'function arguments' section to ch5, closes #77