Semantic extensions implemented as modules (still under development)