Type checking function now returns a tuple instead of doing shit with out variable.