Add rules for synopsis, plus some autoformatting. Still a bit broken.