Use MainType in VariadicType

I don’t know how I managed to mention VariadicType in MainType’s
documentation without actually updating it ;)