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.

struct S
{
    int func()
    {
        return 42;
    }
}

void main()
{
    S s;
    int i = s.func();
}