Function types should integrate noexcept specification instead of just dynamic exception specification

[GabrielDosReis]

Function types have changed structures since C++03. noexcept became part of C++11 but not part of the type system. Since C++17, noexcept became part of the type system. This is not properly reflected in the current representation of function types. Only dynamic exception specifications are represented.