Add a bunch of documentation to static contracts.