This package contains the classes that process the output of the parser and that perform static checking of the program. It also contains the pattern matching algorithm executed at run-time.
Note that to separate the semantic checks from the run-time algorithms in two distinct packages is almost impossible as run-time algorithms use the same data structure as static algorithms do (the tree automata).