Add support for func-decl kind (`Z3_decl_kind`)

[shingarov]

As part of "next steps" after Lund, we are going to do someting along the lines of how TROpcode deals with the pool.