dfba7d90a8a5

--- a/docs/03-reference.markdown	Mon Mar 28 00:43:24 2016 +0000
+++ b/docs/03-reference.markdown	Mon Mar 28 17:52:48 2016 +0000
@@ -10,83 +10,63 @@
 
 [TOC]
 
-## Package BONES.PAIP
+## Package `BONES.PAIP`
 
 Test?
 
-### \*CHECK-OCCURS\* (variable)
+### `*CHECK-OCCURS*` (variable)
 
 Whether to perform an occurs check.
 
-### BOUND-P (function)
-
-    (BOUND-P VAR)
-
-Return whether the given variable has been bound.
-
-### CLEAR-DB (function)
+### `CLEAR-DB` (function)
 
     (CLEAR-DB)
 
-### FACT (macro)
+### `FACT` (macro)
 
     (FACT &REST BODY)
 
-### FAIL (variable)
+### `FAIL` (variable)
 
 Failure to unify
 
-### NO-BINDINGS (variable)
+### `NO-BINDINGS` (variable)
 
 A succesful unification, with no bindings.
 
-### QUERY (macro)
+### `QUERY` (macro)
 
     (QUERY &REST GOALS)
 
 Perform the query interactively.
 
-### QUERY-ALL (macro)
+### `QUERY-ALL` (macro)
 
     (QUERY-ALL &REST GOALS)
 
 Perform the query and automatically show all results.
 
-### QUERY-ONE (macro)
+### `QUERY-ONE` (macro)
 
     (QUERY-ONE &REST GOALS)
 
 Perform the query and just show the first result.
 
-### RETURN-ALL (macro)
+### `RETURN-ALL` (macro)
 
     (RETURN-ALL &REST GOALS)
 
-### RETURN-ONE (macro)
+### `RETURN-ONE` (macro)
 
     (RETURN-ONE &REST GOALS)
 
-### RULE (macro)
+### `RULE` (macro)
 
     (RULE &REST CLAUSE)
 
-### UNBOUND (variable)
-
-A magic constant representing an unbound variable.
-
-### UNIFY (function)
+### `UNIFY` (function)
 
     (UNIFY X Y &OPTIONAL (BINDINGS NO-BINDINGS))
 
 Unify the two terms and return bindings necessary to do so (or FAIL).
 
-### UNIFY! (function)
-
-    (UNIFY! X Y)
-
-Destructively unify two expressions, returning whether it was successful.
-
-  Any variables in `x` and `y` may have their bindings set.
-
-  
-