Semantics

The semantics section contains semantics that are not defined under specific syntax constructs, but rather are more general features or features not in the frontend.