proper checking of __builtin_va_...

support for __builtin_va_args type and checking types for BuiltinVaArgs function