Substitution of previous arguments to default arguments

Works in function and data declarations. Also includes code to catch unknown names in default arguments.