Documentation update; minimized dependencies; static assertions.