[Feature Request]: Improving Python module error checking for type specific handles

[jabraham17]

The Python module supports a few type-specific Python handles, aside from the generic Value.

Currently, this is

• PyList
• PySet
• PyDict
• PyTuple (in progress)
• PyArray

A user can write code like this, which is semantically incorrect

def get_dict():
  return {'a': 1, 'b': 2}

var get_dict = mod.get('get_dict');
var obj = get_dict(owned PySet); // this will work
obj.add(1); // this will then fail in a confusing way.

However, Python does provide a way to check the type of a PyObject. So we can add checks to the initializers for these types. For example, in the init for PySet would could call PySet_Check to make sure the underlying Python object is actually a set

Note that the PyArray type already does this, if the underlying Python object does not support the buffer protocol it will throw an exception.