reflectType function

Optionally takes a list of typeArguments for generic classes. If the list
is provided, then the key must be a generic class type, and the number of
the provided type arguments must be equal to the number of type variables
declared by the class.

Note that since one cannot obtain a Type object from another isolate, this
function can only be used to obtain type mirrors on types of the current
isolate.