Describe the bug

If I just want to browse a Rascal project with jump-to-def as the main link provider, this does not work unless
I edit the topmost module in a project to trigger a full build.

The reason is that there is no trigger for the type-checker to run other than an edit action. I find this contra-intuitive myself and I also receive bug reports from people claiming that the IDE is broken. Which it isn't really.