ModalWindow in a simple way, for Alloy