Create database indexing section
Correct a typo
Discuss homoiconic language
Mention execution and protocol buffers
Wacky ideas about everything being a database

It seems hacking at first but as I consider the ramifications, it seems
like it might be elegant at heart.  An advanced Amalog interpreter will
have multiple, low-level, optimized implementations for many of these
types but they all behave like querying predicates on a database.