This pull request adds a more strict check with refute_send_type. Problem I think refute_send_type assertion isn't enough to check the type mismatch. Currently, refute_send_type checks that the...