Made checking return types work. Want to add keyword arg to turn off fancy second-chance filtering; worried about false negatives. Happy with expr_type implementation -- it's much improved.