Added relational primitives.
Fix quote and if.
More docs.
-O3 optimizations.