Accomodate bare tuple types

Includes logic for getting the args of a bare Tuple type, i.e. one without parameters