Majokko a la Mode Majo no Natsuyasumi

Short story takes place after the events of the original game.
First morning of the summer vacations after the tiresome exam. New heroine Leylis appears in the bed of the protagonist. She slips away as he rubs his eyes. What's her true identity and intentions?

[From vndbreview]