Add type of if_none to argument type in body
Check that optional arguments have default values
Parse optional arguments in signature
Infer type of optional function arguments
Allow functions to be called without optional arguments
Merge branch 'master' into mammoth