Include tuple instance type in TupleType instances
Fixes to test cases
Remove tuple from BasicTypes
Add fallback type to callable types
Refactoring
Add upper bound type to type variables
Remove mypy.types.BasicTypes
Merge branch 'refactor-basictypes'

Get rid of mypy.types.BasicTypes.