improved type inference for relation '='