doc/tutorial/basics: various improvements

- added section for templates
- updated ambiguity in bottom.md
- several small fixes

Change-Id: Iac03e7b99eec1ea352cb30d815a8cfbfb6896b18
diff --git a/doc/tutorial/basics/defaults.md b/doc/tutorial/basics/defaults.md
index 642e621..a46825d 100644
--- a/doc/tutorial/basics/defaults.md
+++ b/doc/tutorial/basics/defaults.md
@@ -1,6 +1,6 @@
 [TOC](Readme.md) [Prev](disjunctions.md) [Next](disjstruct.md)
 
-_Types and Values_
+_Types ~~and~~ are Values_
 
 # Default Values