Changes to base

Changes to base:
commit c5c8c4dfbdc8493bcfaa804751eff2a9a41cc07a
Author: Iavor S. Diatchki <diatchki@galois.com>
Date:   Fri Jan 3 15:11:34 2014 -0800

    Add functions to compare Nat and Symbol types for equality.