Implementing basic detection of type mismatches for Returns().