Provided overload to TypeClass::builtinTypeInfo to return true. Shouldn't almost all types have a builtin typeinfo? Maybe it'd be better to have the default at true and only overload typedef and friends.

module scope2;
extern(C) int printf(char*, ...);
void main()
{
    scope(exit) printf("exit\n");
    scope(failure) printf("failure\n");
    scope(success) printf("success\n");
}