add type rules for relational operators