Sql: Deprecate mysql_result and mysqls_result. These two symbols are seldom used, and when used only used as types, in which case Sql.Result is essentially equivalent.