Converts a basic type, a tuple or an array to the D type with type checking. Tuples can get converted to an array too.