Add better verification of attributes on function types. It is not permitted