Feature #3089: want ::typedef
libctf does not validate function types correctly
Currently libctf does not validate the types of a function that are passed in. It does not make sure that the return type or that the non-varargs arguments are valid ctf ids. Because these ids must be within the dynamic container, we should go through and validate that they area in fact present and valid.