fixed FIXME: implemented compiler check that needs to be done early, to check formal parameters to functions;
fixed FIXME: implemented compiler check that needs to be done early, to check formal parameters to functions;

NaaS/motto,NaaS/motto