Replaced FunctionArg with Param and moved arg validation logic out of
Code and into new ParamSpec type. ParamSpec can then be made more
general purpose and used for builtin functions.