fix brackets, title and document location

backend/Builtin/Syntax.icl

@@ -78,7 +78,7 @@ EXs :: !String !String -> SyntaxExample
 EXs s c = {example=c, cleanjs_start=Just s}
 
 bs_basicvalues =
-	{ syntax_title         = "basicvalues"
+	{ syntax_title         = "basic values"
 	, syntax_patterns      = map exact ["'.'", "[+-]?\\d+", "[+-]?0[0-7]+", "[-+]?0x[0-9a-fA-F]+", "'.'", "True", "False", "E"]
 	, syntax_code          = ["0x...", "0...", "True", "False", "'...'", "...E..."]
 	, syntax_description   =
@@ -86,19 +86,19 @@ bs_basicvalues =
 		"Integers can be either defined in decimal (default), octal (`0` prefix) or hexadecimal (`0x` prefix).\n\n" +
 		"Characters can either be printable characters (except `'`) or an escape sequence.\n\n" +
 		"Reals can be suffixed by a power of ten in the scientific notation.\n\n" +
-		"Boolean values by their only inhabitants {{True}} and {{False}}.\n\n" +
+		"Boolean values by their only inhabitants {{`True`}} and {{`False`}}.\n\n" +
 		"Basic values can also be pattern matched with these notations."
-	, syntax_doc_locations = [CLR 4 "1.1" "_Toc311798017"]
+	, syntax_doc_locations = [CLR 4 "4.1.1" "_Toc311798017"]
 	, syntax_examples      = map EX
 		[ "(42, -42, +42)          // Tuple with 42, -42 and 42 in decimal"
 		, "(052, -052, +052)       // Tuple with 42, -42 and 42 in octal"
 		, "(0x2a, -0x2a, +0x2A)    // Tuple with 42, -42 and 42 in hexadecimal"
-		, "('a', '\\x2a', '\\052') // Tuple with a normal character, a literal quote and twice the character with ordinal 42"
+		, "('a', '\\x2a', '\\052')  // Tuple with a normal character, a literal quote and twice the character with ordinal 42"
 		, "['\\n', '\\r', '\\f', '\\b', '\\t', '\\', '\'']\n" +
-		  "                        //All character escapes"
+		  "                        // All character escapes"
 		, "(True, False)           // All booleans in a tuple"
 		, "(42.0, -42.0, 42E-10, +42.0E+10, -42.0E10)\n" +
-		  "                        //Several reals"
+		  "                        // Several reals"
 		]
 	}