Legend:
Library
Module
Module type
Parameter
Class
Class type
Effect sorts.
The sort of an effect holds static information that is common to all effects of that sort.
We distinguish two kinds of effects - ctrl effects that affect which instructions will be executed next and data effects that affect only the values in the computer storage.
The unit effect represents an effect that is a mixture of ctrl and data effects.