Как использовать плагин Rascal eclipse?

Я ожидаю, что у меня должна быть возможность писать программы Rascal в виде файлов или модулей, а затем запускать их с помощью «Запуск от имени ...», но это не работает. Какое расширение файлов должны иметь модули Rascal? Для чего нужна консоль? Можно ли запускать программы в пакетном режиме или только из консоли? Есть ли пошаговое руководство? (Насколько я могу судить, Наставник-Мошенник не объясняет этого.)