It will get too messy to deal with constant initializers any other way, so just deal with complexity in argument_decl instead ...
Need to consider all members, bi_type is invalid for Blocks, need to look at member decorations.