function param types now added to function signature and parameters themselves inserted into correct scope