Agreed. An additional language issue: Rachel is both jealous and envious, but the game often mixes up the two. Envy is wanting something others have (she wants other girls' breasts/bodies). Jealousy is concern over losing something you have, to others (she is jealous when other girls get attention from the headmaster when she feels that attention should only be hers).
@Temujin_Senpai
wanting something that others have isn't envy, that is covetousness.
Envy has always an outward focus; we desire some item, person, or attribute possessed by someone else, and we are discontent or resentful about not having it. And often the person who is envious, hurt the target of their envy.
Jealousy on the otherhand has an inward focus, for example; the protection of one’s own items or relationships, especially romantic relationships. You can envy someone else for his girlfriend, but someone flirting with your own girlfriend makes you jealous, not envious.
The difference between envy and jealousy is that, in certain circumstances, jealousy can be a positive thing. Envy is never presented as positive. The type of jealousy defined as “zealous vigilance” is the unhappy or angry feeling caused when what rightfully belongs to us is being threatened.
Covetousness would be the desire, the want, but envy would be the intense emotions that could accompany such a desire.
As to your middle 2 paragraphs, you've not contradicted what I said. Envy is (the intense emotions that can accompany) wanting what others have (outward focused, as you say) and jealousy is the (intense emotions that can accompany) concern that others will take what you have (inward focused, as you say).