changed binary relations to be casted if not the same type