Some stylistic changes
Starting documenting the high-level part