Don't use relations and fix type rule for mul and div.