Add some documentation, and the first analyzer code.