Dependency injection framework with heavy focus on modules with contracts and compiler support.