Small documentation fixes

• Fix formatting of code blocks and a few sphinx warnings
• Move the Void# change to 9.2, it was done right after the branch was cut
• Fix typo in linear types documentation
• Note that -Wincomplete-uni-patterns affects lazy patterns

cc @Kleidukos