Add parameter type check for FnCall
Fix a load of warnings (two were actual errors, only in diagnostics though)