Check the type of default arguments for command line parameters (issue #18).